w{-}ml($w$; $l$; $t$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$onlnk($l$;w{-}m($w$; source($l$); $t$))